(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun e () Int)
(assert (= 0 (- c)))
(assert (> (- 1 a (- b)) (* 205 d e)))
(assert (= (* 98 a) (* 133 (+ 215 b))))
(assert (and (>= (* a b) 1) (<= (* e d) 7)))
(check-sat)
